Issue782.agda:4,43-43
Issue782.agda:4,43: Parse error
toz<ERROR>
; suc tos; Nat toℕ)

f : ℕ → ℕ...
